Supporting module reuse in refinement

Supporting Command Reuse: Mechanisms for Reuse

Supporting Process Reuse in PROMENADE

Process reuse (the ability to construct new processes by assembling already built ones) and process harvesting (the ability to build generic processes that may be further reused, from existing ones) are two crucial issues in process technology. Both activities involve defining a set of mechanisms, like abstraction, adaptation, composition, etc. which are appropriate to achieve their goals. In t...

Module Reuse by Interface Adaptation

This paper describes a language called Nimble that allows designers to declare how the actual parameters in a procedure call are to be transformed at run time. Normally, programmers must edit an application’s source in order to adapt it for reuse in some new context where the interfaces fail to match exactly (e.g. the parameters may appear in a different order, data types may not exactly match,...

Speciication-based Retrieval Strategies for Module Reuse Speciication-based Retrieval Strategies for Module Reuse

Formal speciications have often been proposed as a basis for ac-cessing reusable components from libraries, and various ne-grained speciication-matching approaches have been developed to assist in searching libraries. Typically, however, the granularity of matching has been too ne for reuse to be eeective. Compounding the problem is the fact that coarse-grained items usually require adaptation ...

Supporting Component-Based Reuse in CARE

The increased reliance on software in critical applications suggests a greater need for formal methods to be used in the development of such software. A number of formal languages and toolsets exist for developing formally specified and verified software; however experience tells us that the development of formally verified software, even with the current tool support, is an expensive process. ...